SYNRC PACK 2019

2GB USB

The SYNRC PACK is a list of repositories with full history as a distribution package written onto 2GB USB storage device. It also contains:

1) Formal models of N2O in Standard ML, Haskell, Agda, and Lean 4. More languages yet to come at n2o.tech;
2) N2O DEV libraries, CA and NS services;
3) N2O ERP applications and LDAP service;
4) 11 sites for all implementations and businesses.

Every Erlang project is buildable with mad, mix, rebar3, has published at hex.pm, and some of them are hosted at n2o.cloud.

├── apps │   ├── sml │   │   ├── n2o │   │   └── nitro │   ├── haskell │   │   ├── n2o │   │   ├── nitro │   │   └── sample │   ├── lean │   │   ├── n2o │   │   ├── bum │   │   ├── zero │   │   └── nitro │   ├── elixir │   │   ├── bench [90] │   │   ├── chat [130] │   │   ├── iot [580] │   │   ├── plm [1180] │   │   ├── sample [110] │   │   └── tms │   └── erlang │   ├── acc │   ├── fin [760] │   ├── chat [130] │   ├── crm │   ├── db │   ├── dec [50] │   ├── emv │   ├── ent │   ├── erp [520] │   ├── ex │   ├── fix [6300] │   ├── iban [150] │   ├── ldap [730] │   ├── mq │   ├── pay │   ├── pm │   ├── review [100] │   ├── rocksdb │   ├── sample [80] │   ├── scm │   ├── tic [420] │   ├── trade │   ├── wms │   └── xio ├── beam │   └── 10.3.2 ├── deps │   ├── active [160] │   ├── bert [540] │   ├── bpe [420] │   ├── ca [400] │   ├── form [230] │   ├── fs [220] │   ├── kvs [500] │   ├── mach [220] │   ├── mad [1320] │   ├── n2o [760] │   ├── nitro [2940] │   ├── pi [190] │   ├── rest [400] │   ├── sh [70] │   └── svg [6100] └── site    ├── n2o.tech    ├── n2o.cloud    ├── n2o.space    ├── n2o.dev [Erlang]    ├── n2o.systems [Erlang]    ├── o1.network [SML]    ├── o3.click [Haskell]    ├── o4.click [Agda]    ├── o7.network [Elixir]    ├── synrc.com    └── synrc.space